=obj=                1
s1                   0
s2                   0
s3                   0
s4                   1
s5                   0
x1                   1
x2                   1
x3                   1
x4                   1
x5                   1
x6                   0
x7                   1
x8                   0
x9                   0
x10                  0
x11                  0
x12                  1
x13                  1
x14                  1
x15                  0
x16                  1
x17                  1
x18                  0
x19                  0
x20                  0
x21                  0
x22                  1
x23                  0
x24                  1
x25                  0
x26                  0
x27                  0
x28                  1
x29                  1
x30                  1
x31                  0
x32                  1
x33                  1
x34                  0
x35                  0
x36                  1
x37                  0
x38                  0
x39                  1
x40                  0
